Indécidabilité de la Condition IRS
نویسندگان
چکیده
— We prove: 1) for any linear language L, it is recursively unsolvable to détermine whether L is an 1RS language; 2) for any deterministic context-free language L, it is recursively solvable to détermine whether L is an 1RS language; 3) there exists an 1RS linear language containing the concaténation product oftwo infinité contextfree languages.
منابع مشابه
Diagnostic et contrôle de la dégradation des systèmes probabilistes
Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosticable. Afin d’éviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consiste à assurer une probabilité positive qu’une exécution infinie soit correcte, ce...
متن کاملCauses of Increased Intracranial Blood Flow Rate (Angiographic Study)
"Etude etiologique de la circulation ra.pide iutra-rena-le" Le but de l'angiographle renale n'est pas '.seulement le controle anatomique de l'organe, une etude physiologique (Hemodynamique) doit toujours etre prise en consideration. Le temps normal de la circulation intra-renale selon les differents auteurs varie entre 6 a 8, 8 a 10 et 10 a 12 secondes, mais le temps moyen est de 6 a 8 seco...
متن کاملAn algebraic design for the simultaneous stabilization of two systems
In this report we present a uniied description for studying the problem of the simultaneous stabilization of two plants. Three approaches for the simultaneous sta-bilizability are deened. The rst one corresponds to the deenition commonly used in the literature. For the third one, we show that, like for the rst one, the design of a simultaneous compensator leads to a divisibility condition in th...
متن کاملمسؤولیت کیفری متصدیان امور پزشکی
La définition de la responsabilité pénale pour des responsables des affaires médicales est secondaire par rapport a la distinction des exemplaires des gens occupant dans la profession médicale et d’autres Professions dépendants. En plus, il faut le considérer dans le cadre des règles pénales. C’est évident que ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ITA
دوره 16 شماره
صفحات -
تاریخ انتشار 1982